dot product properties proof